The 2nd Verified Software Competition: Experience Report
نویسندگان
چکیده
We report on the second verified software competition. It was organized by the three authors on a 48 hours period on November 8–10, 2011. This paper describes the competition, presents the five problems that were proposed to the participants, and gives an overview of the solutions sent by the 29 teams that entered the competition.
منابع مشابه
The 1st Verified Software Competition: Experience Report
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
متن کاملThe 1st Verified Software Competition: Extended Experience Report
We, the organizers and participants, report our experiences from the 1st Verified Software Competition, held in August 2010 in Edinburgh at the VSTTE 2010 conference.
متن کاملSecond Competition on Software Verification - (Summary of SV-COMP 2013)
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency, and as available and participated. The benchmark set of v...
متن کاملSecond Competition on Software Verification
This report describes the 2nd International Competition on Software Verification (SV-COMP 2013), which is the second edition of this thorough evaluation of fully automatic verifiers for software programs. The reported results represent the 2012 state-of-the-art in automatic software verification, in terms of effectiveness and efficiency. The benchmark set of verification tasks consists of eleve...
متن کاملExperience on Running a Small-Size Simulated Car Racing Tournament in an Introductory Programming Course
This paper reports short-term experience on running a small-size car racing tournament in “Programming C Language class” for freshmen. It was based on Computational Intelligence and Games (CIG) 2009 Car Racing Competition software and rules with small modifications. Five students were involved in this small competition and they built their own controllers during this course. Although they don’t...
متن کامل